Inhalt des Dokuments

Master

Modellierung und Verifikation adaptiver Echtzeitsysteme mittels Timed CSP

Freitag, 10. Januar 2014

Erstgutachter/in: Prof. Dr. rer. nat. Glesner
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Schwarze, Max

---